natural deduction
[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎 [网络] 自然演绎法；自然推理
n. 自然演绎 [网络] 自然演绎法；自然推理
热门查询
- beholder n. 旁观者；观看者
- cowslip n. 黄花九轮草；驴蹄草；流星花
- bacchanalia n. （古罗马的）酒神节；大酒宴
- classlessness 无阶级性
- air force n. 空军 [网络] 美国空军；空军部队基地；长空雄鹰
- typicality n. 典型性
- skyscape n. 以天空为主题的画
- skillfully adv. 巧妙地；精巧地
- obscene adj. 淫秽的；猥亵的；可憎的
- titford [人名] 蒂特福德
- orthomolecular adj. 调整分子的；调整分法的
- thing n. 事情；东西；事物；情况
- nonconformity n. 不一致；不信奉国教；不墨守成规
- discussed v. 讨论（discuss的过去分词）；商讨
- saline n. 盐湖；碱盐泻药 adj. 盐的；含盐分的
- nurturant adj. 抚育的；抚养的
- adverse adj. 不利的；相反的；敌对的（名词adverseness，副词adversely）
- palmette n. [建] 棕叶饰
- pelting adj. 盛怒的；微不足道的；没价值的 v. 投掷；攻击（pelt的ing形式）
- illicit adj. 违法的；不正当的
考试词汇表
- hardness penetration
- hardness-depth curve
- hardware abstraction
- hardware accelerator
- hardware accessories
- hardware acquisition
- hardware check point
- hardware compilation
- hardware connections
- hardware development
- hardware engineering
- hardware enhancement
- hardware environment
- hardware handshaking
- hardware independent
- hardware instruction
- hardware integration
- hardware interpreter
- hardware maintenance
- hardware malfunction
